xen/arm: p2m: Change the type of level_shifts from paddr_t to uint8_t
authorJulien Grall <julien.grall@arm.com>
Thu, 15 Sep 2016 11:28:25 +0000 (12:28 +0100)
committerStefano Stabellini <sstabellini@kernel.org>
Wed, 28 Sep 2016 01:13:54 +0000 (18:13 -0700)
commite3b0d2eca33d3acfaf4b86905ed6d4853dce6722
treed86c58c98f2ae630e24160b5e56cf43557da744a
parent9162668fc7f5c1ae3163b3905fc58936c5332b6d
xen/arm: p2m: Change the type of level_shifts from paddr_t to uint8_t

The level shift can be encoded with 8-bit. So it is not necessary to
use paddr_t (i.e 64-bit).

Signed-off-by: Julien Grall <julien.grall@arm.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
Tested-by: Tamas K Lengyel <tamas@tklengyel.com>
xen/arch/arm/p2m.c